Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
411	NSW Department of Education and Communities Evaluation Framework January[removed]NSW DEPARTMENT OF EDUCATION AND COMMUNITIES Add to Reading List Source URL: www.cese.nsw.gov.au Language: English - Date: 2014-09-04 08:40:59 Methodology Impact assessment Program evaluation Logic model Systems engineering process Empowerment evaluation Impact evaluation Evaluation Evaluation methods Sociology
412	WP 0.8 WP Plug-in Manual Version 0.9 for Sodium[removed]Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:42 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
413	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification A C RASH C OURSE Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Linguistics Mathematics Computing Hoare logic Program logic String
414	This document was commissioned by the National Advisory Council on Suicide Prevention and A Manual to Guide Add to Reading List Source URL: www.livingisforeveryone.com.au Language: English - Date: 2012-06-26 00:15:23 Methodology Impact assessment Logic model Program evaluation Nursing Suicide prevention Health promotion Logic programming Emergency management Evaluation methods Evaluation Sociology
415	(DJR) Insignia Rev Left Aligned Add to Reading List Source URL: assets.justice.vic.gov.au Language: English - Date: 2015-03-25 19:05:07 Sociology Ethics Impact assessment Program evaluation Logic model Prison education Prison Recidivism Department of Corrections Penology Evaluation Evaluation methods
416	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
417	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {P} . . . {Q} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Hoare logic Predicate transformer semantics Mathematics Creative Commons Structure Model theory Program logic Open content Formal methods
418	Modifying Conven onal Program Logic Approaches to Incorporate Longitudinal Evalua on of Rural Cancer Service Improvement Programs: The Gippsland Chemotherapy Nurse Preceptor Program 1 1 Add to Reading List Source URL: gha2.net.au Language: English Medicine Nursing Health Peripherally inserted central catheter
419	FM 2014 Program Book Welcome Message from the Organising Committee Welcome to FM2014! Welcome to Singapore! This is the nineteenth in a series of symposia organised by Formal Methods Europe, this is its first time in As Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2014-05-08 02:42:02 Applied mathematics Logic in computer science Model checkers Model checking Formal verification Uppaal Model Checker Verification COM Path Systems engineering Formal methods Science

UPDATE